formal design specification
英 [ˈfɔːml dɪˈzaɪn ˌspesɪfɪˈkeɪʃn]
美 [ˈfɔːrml dɪˈzaɪn ˌspesɪfɪˈkeɪʃn]
形式设计说明
双语例句
- Finally, the application method of LOTOS specification styles in network services and protocol design, the concept of formal structural model and its design approach, the transformation of LOTOS specification to C or C++ are produced.
第四部分：提出了LOTOS规范风格在网络服务和协议设计中的应用方法、形式结构模型的概念及实现方法、渐进细化设计方法、LOTOS规范的C、C++实现方法（第五章）； - Formal verification uses rigorous mathematical reasoning to show that a design meets all or parts of its specification, and has attracted dramatically the interests of both academic and industrial fields.
形式验证方法使用严格的数学推理来证明设计满足规范的部分或全部属性，引起学术界和产业界的广泛关注。